1. A transfinite type theory with type variables
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Type theory
رده :
QA
9
.
A64
2. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
3. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
4. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده : Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
5. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
6. An introduction to mathematical logic & type theory:to truth
پدیدآورنده : ANDREWS,PETER BRUCE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
